QOSet == {s:DSet| Preorder(|s|;a,b.a  b)}  

latex

---

clarification:

QOSet{i} == {s:DSet{i}| Preorder(|s|;a,b.a s b)}  

latex

Up	sets 1
Wellformedness Lemmas	qoset wf
Definitions	DSet, Preorder(T;x,y.R(x;y)), |p|, a  b